Belief Uncertainty in Software Models

Preprint de : Loli Burgueño, Robert Clarisó, Jordi Cabot, Sébastien Gerard and Antonio Vallecillo. "Belief Uncertainty in Software Models." In Proc. of the 11th Workshop on Modelling in Software Engineering (MiSE'2019) at ICSE 2019, Montreal, Canada, May 26-27, 2019. ACMThis paper discusses the representation of Belief Uncertainty in software models. This kind of uncertainty refers to the situation in which the modeler, or any other belief agent, is uncertain about the behavior of the system, or the statements that the model expresses about it. In this work, we propose to assign a degree of belief to model statements (let they be constraints, or any other model expression), which is expressed by a probability (called credence, in statistical terms) that represents a quantification of such a subjective degree of belief. We discuss how it can be represented using current modeling notations, and how to operate with it in order to make informed decisions.PGC2018-094905-B-I00 TIN2016-75944-R CEA in the context of the Modelia initiative and the ECSEL RIA 2016 MegaM@Rt2 project by the European Union’s Horizon 2020 under grant No 737494. Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

A Component-Based Approach for Specifying Reusable Visual Languages

International audienceModel-Driven Engineering (MDE) encourages the use of graphical modeling tools, which facilitate the development process from modeling to coding. Such tools can be designed using the MDE approach into metamodeling environments called metaCASE tools. It turned out that current metaCASE tools still require, in most cases, manual programming to build full tool support for the modeling language, especially for users' native methodologies and representational elements and suffer from gaps in terms of reusability. In this context, we propose MID, a set of metamodels supporting the specification of modeling editors by means of reusable components and explain how representational metamodeling is carried out with it

A Component-Based Approach for Specifying DSML's Concrete Syntax

International audienceModel-Driven Engineering (MDE) encourages the use of graphical modeling tools, which facilitate the development process from modeling to coding. Such tools can be designed using the MDE approach into meta-modeling environments called metaCASE tools. It turned out that current metaCASE tools still require, in most cases, manual programming to build full tool support for the modeling language, especially for users' native methodologies and representational elements and propose limited possibilities in terms of reusability. In this context, we propose MID, a set of meta-models supporting the easy speci cation of modeling editors by means of reusable components and explain how representational meta-modeling is carried out with it

Specifez vos éditeurs de diagrammes à l'aide de composants réutilisables

National audienceL'Ingénierie Dirigée par les Modèles (IDM) favorise l'utilisation des outils de modélisation graphique dans toutes les étapes du processus de développement logiciel. Ces outils peuvent eux-mêmes, être conçus en utilisant une approche basée sur les modèles dans des environnements appelés outils MetaCase (Meta-Computer-Aided Software Engineering) qui nécessitent, généralement, des efforts supplémentaires de programmation pour leur adaptation, afin d'obtenir des outils de modélisation complets pour les langages spécifiques (DSML). De plus, ces outils ont souvent des lacunes en termes de réutilisabilité. Dans ce contexte, nous proposons MID, un ensemble de méta-modèles qui propose la spécification rapide des éditeurs de modélisation à partir de composants graphiques réutilisables. Nous examinons par la suite, les environnements de modélisation générés à partir de ces méta-modèles

Flexible Product Line Derivation applied to a Model Based Systems Engineering process

soumis a CSDM 2012Systems engineering enables the successful realization of systems, focusing on defining customer needs early in the development cycle. However there is a lack of methodological support when the development of systems needs to rely on legacy system designs. Furthermore, in the automotive domain, product diversity increases system complexity so much, that reuse becomes much more difficult and time con- suming than usually. We believe a specific strategy must be adopted to prepare for reuse and to achieve systems engineering by reuse. While product line derivation provides the means to obtain single products form a collection of assets, there is still little support for integration with systems engineering practices. In this paper we present an approach which takes into account systems engineering methodolog- ical aspects in product line engineering by rendering the derivation process more flexible. We present the implementation of the tool support for our approach based on the Papyrus1 SysML modeller and exemplify the concepts through a derivation example of the electric parking brake system

Toward optimized code generation through model-based optimization

International audienceModel-Based Development (MBD) provides an additional level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic treatments of these models with dedicated tools like synthesis of system's application by automatic code generation. Real-Time and Embedded Systems (RTES) are often constrained by their environment and/or the resources they own in terms of memory, energy consumption with respect to performance requirements. Hence, an important problem to deal with in RTES development is linked to the optimization of their software part. Although automatic code generation and the use of optimizing compilers bring some answers to application optimization issue, we will show in this paper that optimization results may be enhanced by adding a new level of optimizations in the modeling process. Our arguments are illustrated with examples of the Unified Modeling Language (UML) state machines diagrams which are widely used for control aspect modeling of RTES. The well-known Gnu Compiler Collection (GCC) is used for this study. The paper concludes on a proposal of two step optimization approach that allows reusing as they are, existing compiler optimizations

Have Multiple Views with one Single Diagram! A Layer Based Approach of UML Diagrams

A diagram is the artifact used to show a graphical view of one or more elements of a model. Sometime designer whish to have slightly different views of the same model element: to show variation points, to explore alternatives, to highlight some details, to add stereotypes or comments ... In actual tools, each view is shown in its own diagram, realized by copying a based diagram and adding the modifications. Each time you modify the base diagram, you have to modify all copies. We propose to introduce in diagram the notion of layers, similar to layers found in graphical tools (like Gimp). A layer is a kind of slide showing some graphics. Layers are stacked one over the others. The resulting diagram is the sum of its visible layers. This proposal enable multiple views in one single diagram. The proposed solution allows doing much more things discussed in this article

MID: A MetaCASE Tool For A Better Reuse Of Visual Notations

International audienceModeling tools facilitate the development process from modeling to coding. Such tools can be designed using a Model-Driven approach into metamodeling environments called metaCASE tools. It turned out that current metaCASE tools still require, in most cases, manual programming to build full tool support for the modeling language. First of all, we want to specify, using models, diagrams editors with a high graphical expressiveness without any need for manual intervention to perform this task. The second axis is dedicated to this specification reuse in other contexts of use. The redundancy of diagrams editors specification raises the problem of inconsistency during the evolution or the update of this specification. We propose then MID, a tool based on a set of meta-models supporting the easy specification of modeling editors with reusable components

Study of a new strain of Fusobacterium which could inhibit L. monocytogenes in Herve cheese

editorial reviewedA new putative species of Fusobacterium was found as a major component of the rind of a farmhouse Herve cheese and sequenced in silico. Herve cheese is a soft, washed-rind cheese made from raw cow’s milk and the only PDO cheese in Belgium. A challenge-test study has also shown that Listeria monocytohenes cannot multiply on this type of cheese. The objective of this study is to validate the presence of this new species of Fusobacterium in different cheeses from the same operator, to study the sources of contamination and the metabolic pathways used to potentially inhibit L. monocytogenes growth. Different cheeses were tested, after different maturation times. For each cheese/time pairing, a sample of rind and core was taken separately. The samples were studied by PCR with primers specific to the genus Fusobacterium, and to the new species studied. The new putative species was found to be a contaminant of all the washed ripened cheeses with much higher proportions in the rind samples and not from unripened cheeses refuting probably the hypothesis that the bacterium has raw milk as a reservoir. Isolation tests will be conducted to isolate and characterize this bacterium from cheese and it will be searched in the environment of the cheese dairy